181. Relational and Algebraic Methods in Computer Science
پدیدآورنده : \ Wolfram Kahl , Michael Winter, José N. Oliveira (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Algebraic logic -- Congresses.,Relation algebras -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,منطق جبری -- کنگره ها
رده :
QA
76
.
9
.
M35R4
2015
E-Book
,
182. Relational and algebraic methods in computer science :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
183. Relational and algebraic methods in computer science :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
184. Selected topics in discrete mathematics: Proceeding of the Moscow Discrete Mathematics Seminar, 1972 - 1990
پدیدآورنده : edited by A. K. Kelmans
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Mathematics - Congresses,، Computer science - Mathematics - congresses
رده :
QA
3
.
A4
S44
1994
185. Semantics and algebraic specification
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
186. Stochastic algorithms :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algorithms ; Congresses ; Stochastic approximation ; Congresses ; Computer science ; Mathematics ; Congresses ;
187. Stochastic algorithms
پدیدآورنده : Oleg B. Lupanov ... ]et al.[ )eds.(,Title
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع : Algorithms, Congresses,Stochastic approximation, Congresses,Computer science, Mathematics, Congresses
رده :
QA
.
S24
9
.
58
2005
188. Stochastic algorithms
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algorithms ; Congresses. ; Stochastic approximation ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
189. Stochastic algorithms: foundations and applications
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Algorithms,Congresses ، Stochastic approximation,Congresses ، Computer science-- Mathematics
رده :
QA
9
.
58
.
S24
2005
190. Stochastic algorithms : foundations and applications : second international symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003 : proceedings
پدیدآورنده : Andreas Albrecht, Kathleen Steinhofel )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Algorithms,Congresses ، Stochastic approximation,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
2827
191. Stochastic algorithms : foundations and applications : third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 : proceedings
پدیدآورنده : Oleg B. Lupanov...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Algorithms,Congresses ، Stochastic approximation,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3777
192. Symbolic computation : applications to scientific computing
پدیدآورنده : edited by Robert Grossman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Engineering mathematics,Congresses ، Object-oriented programming )Computer science(
رده :
TA
331
.
S95
1989
193. The influence of computing on mathematical research and education
پدیدآورنده : edited by Joseph P. Lasalle
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,، Mathematics -- Research,Study and teaching -- Congresses ، Mathematics
رده :
QA
1
.
P69
Vol
.
20
194. The joint conference of ASCM 2009 and MACIS 2009 : Asian symposium on computer mathematics, mathematical aspects of computer and information sciences
پدیدآورنده : editors : Masakazu Suzuki....]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Number theory
رده :
QA
76
.
9
.
M35A88
2009
195. The mathematical revolution inspired by computing: based on the proceedings of a conference on the mathematical revolution inspired by computing, organized by the Institute of Mathematics and Its Applications and held at Brighton Polytechnic in April 1989
پدیدآورنده : J.H. Johnson, M. J. Loomes ]eds.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics
رده :
QA
76
.
9
.
M35C65
1989
196. Theory and Applications of Models of Computation
پدیدآورنده : \ Rahul Jain , Sanjay Jain, Frank Stephan (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computational complexity -- Congresses,Turing machines -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,پیچیدگی محاسباتی -- کنگره ها
رده :
QA
76
.
9
.
M35T46
2015
E-Book
,
197. Theory and applications of models of computation :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
198. Topics in discrete mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Mathematics -- Congresses,Computer science -- Mathematics -- Congresses
رده :
QA
،
3
،.
M6
،
1997
199. Topics in discrete mathematics: codes, tableaux, and graphs: Proceedings of all India Winter School in Dsiscrete Mathematics, University of Pune, Pune 411007 )9-23 November, 1989(
پدیدآورنده : editors; N.M. Singh ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Mathematics - Congresses , Computer science - Mathematics - Congresses
رده :
QA
1
.
T66
1997